Contacts

• danael.carbonneau (at) lip6.fr
• 4 place Jussieu, 75005, Paris, 25/26, bureau 303
• Mon profil github
• Mon profil codeberg

Études et diplomes

• Master d'Informatique, Parcours STL

  Sorbonne Université
• Double licence Informatique et Philosophie
• Bac S-SVT, spécialité mathématiques, option européenne Physique-Anglais
• Certificat de Qualification Professionnelle, Initiateur Voile

Expériences de recherche passées

• LIP6, stage de 6 mois : Types dépendants pour la modélisation de machines composables
• IRILL/IRCAM, stage de 2 mois : Forme musicale et théorie des types
• LIP6/IRILL, stage de 2 mois : Chaîne de compilation libre OCaml vers FPGA

Expériences professionnelles et associatives

• Bicursiosité, association des étudiant.e.s en double cursus et majeures-mineures en sciences et humanités de Sorbonne Université
• ALIAS, Association Ludique et InformAtique de Sorbonne Université
• Club Nautique Haute-Saônois Vesoul, Bénévole, élu au conseil d'administration, président du comité de course, moniteur de voile légère